nitpick trivial matters

Translations
chipoter sur des détails insignifiants